ecl-trans-act(ds; da; A)(n,L)
== L':event-info(ds;da) List
== tr:event-info(ds;da)
== ((L = append(L'; cons(tr; [])))
==  spreadn(tr;
==  spreadn(k,s,v.((k  ecl-trans-ks(A)) c ((ecl-trans-a(A)(n,k,s,v,ecl-trans-state(A; L')))))
==  spreadn()) 

latex

---

clarification:

ecl-trans-act(ds; da; A)(n,L)
== L':event-info(ds;da) List
== tr:event-info(ds;da)
== ((L = append(L'; cons(tr; []))  (event-info(ds;da) List))
==  spreadn(tr;
==  spreadn(k,s,v.((k  ecl-trans-ks(A)  Knd)
==  spreadn(c ((ecl-trans-a(A)(n,k,s,v,ecl-trans-state(A; L'))))))) 

latex

Definitions	x:A. B(x), P  Q, event-info(ds;da), append(as; bs), spreadn(a; x,y,z.t(x;y;z)), A c B, (x  l), ecl-trans-ks(v), Knd, b, ecl-trans-a(v), ecl-trans-state(v; L)
FDL editor aliases	ecl-trans-act